Câu ví dụĐịnh lý 4: Không gian compact Hausdorff thì mêtric hóa được khi và chỉ khi nó thỏa tiên đề đếm được thứ hai.